Nuprl Definition : w-m
11,40
postcript
pdf
m(
i
;
t
) == ((
w
.2.2.2.2.2).1)(
i
,
t
)
latex
clarification:
w-m(
w
;
i
;
t
) == ((
w
.2.2.2.2.2).1)(
i
,
t
)
latex
Definitions
t
.2
,
t
.1
FDL editor aliases
w-m
origin
